Internal direct product group theory